recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Reducers - A Library and Model for Collection Processing Still don't see the use by Denis Bredelet -jido Think about what happens... by neelk I think it's because it by Jules Jacobs Why a neutral element? by Denis Bredelet -jido	mehryar	2012-05-22 18:02
Forum topic	Encoding System Fw in predicative dependent type theory Dup by Matt M Thanks by Matt M Paradoxical term is paradoxical in his context by Andreas Schropp Partial model by Matt M What about Reynolds? by Andreas Schropp Bounds on bounding by Charles Stewart Modularity of the encoding by Matt M I agree this type is by gasche auto by Matt M I fear you will always be by gasche ...	Matt M	2012-05-24 22:00
Story	Tool Demo: Scala-Virtualized	Paul Snively	2012-05-26 22:28
Forum topic	Crowd Documentation: Exploring the Coverage and the Dynamics of API Discussions on Stack Overflow	gasche	2012-05-28 09:35
Forum topic	D3: Thinking with Joins I think I see where I am not by Z-Bo Also, I was questioning what by lmeyerov Fair question by Z-Bo The point about superglue by Sean McDirmid The enter and exit is really by lmeyerov A lot of D3 would look very by Sean McDirmid Most JavaScript frameworks by lmeyerov How is this an elegant leap for structuring code? by Z-Bo	lmeyerov	2012-05-28 18:09
Forum topic	Proofs as programs Easiest to see with an example... by neelk Going to war with General Recursion by Kalani Computability by hbrandl Recursive Types don't Equal Computable... by marco This is my experience as by hbrandl C-zar by vrijz And for people not capable of using coq? by hbrandl Prior art by Adam Chlipala Brainless ? by Thomas Braibant Computations and propositions (assertions) by hbrandl ...	hbrandl	2012-05-29 09:43
Forum topic	A New Paradigm for Component-Based Development	Johan Georg Granström	2012-05-29 11:19
Forum topic	Order structure, an excercise in abstraction and multiple inheritance Impressive. I didn't know of by hbrandl You may want to change the by Chris Warburton Felix version by skaller	hbrandl	2012-05-31 01:24
Forum topic	An attempt to make languages first class citizens, starting with the syntax Quick update:made a simple browser sandbox by Cyril Now somewhat more by Cyril (Quick update plug) Some shy by Cyril Available on Google Code by Cyril	Cyril	2012-06-01 17:05
Forum topic	Pythonect (A New Programming Language) Call for Syntax! All feedback and comments are appreciated! no transitive criticism intended by Rys McCusker I agree. I had the same by Cyril In my experience... by marco more places when a high bar is passed by Rys McCusker Really? So where do we go to by Sean McDirmid Allow me to clarify by ikotler [Meta] by Bárður Árantsson	ikotler	2012-06-01 21:52
first page previous page next page last page